Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
131	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
132	Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:37 Data types Primitive types Procedural programming languages Program logic Pointer Type theory Reference ALGOL 68 C Software engineering Computing Programming language theory
133	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
134	Problem Statement & Experimental Setting Illustration from Standalone Analysis Ensemble Spread Examination Cycled-Analysis Evaluation Forecast Verification vs Observations Forecast Verification vs Analysis Add to Reading List Source URL: www.jcsda.noaa.gov Language: English - Date: 2013-01-16 11:17:22 Statistics Classes of computers Weather prediction Statistical forecasting Monte Carlo methods Data assimilation Ensemble Kalman filter GEOS Bayesian statistics Estimation theory Software
135	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
136 $Nanomaterials / Materials science / Graphene / Electron / Buckling / KEK / Dynamical theory of diffraction / Silicene / Physics / Chemistry / Condensed matter physics$	Photon Factory Activity Report 2013 #[removed]B SPF-A3/2012G653 Experimental verification of buckled structure of silicene on a Ag(111) surface using TRHEPD Add to Reading List Source URL: pfwww.kek.jp Language: English - Date: 2014-08-26 01:34:08 Nanomaterials Materials science Graphene Electron Buckling KEK Dynamical theory of diffraction Silicene Physics Chemistry Condensed matter physics
137	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
138	Nostalgia as Enabler of Self-Continuity Add to Reading List Source URL: www.wildschut.me Language: English - Date: 2012-09-10 07:27:32 Social psychology Self-concept Identity Nostalgia Psychology of self Self-esteem Basking in reflected glory Personal identity Self-verification theory Conceptions of self Mind Philosophy of mind
139	[removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software Engineering Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-21 10:18:08 Proof theory John Vincent Atanasoff Decidability Realizability FIFO Distributed computing Message passing Concurrent computing Inter-process communication Computing
140	Technical SafeTy aSSeSSmenT Guide Transients and Design Basis Accident Analyses Add to Reading List Source URL: www.etson.eu Language: English - Date: 2014-10-10 03:27:32 Validity Systems science Systems theory Risk analysis Verification Software development process Validation Probabilistic risk assessment DO-178B Systems engineering Science Pharmaceutical industry

UPDATE